$\forall$${\it es}$:event\_system\{i:l\}, $e_{3}$,$e_{2}$,$e_{1}$:es{-}E(${\it es}$).
\\[0ex]es{-}le(${\it es}$; $e_{1}$; $e_{2}$)
\\[0ex]$\Rightarrow$ es{-}le(${\it es}$; $e_{1}$; $e_{3}$)
\\[0ex]$\Rightarrow$ (iseg(es{-}E(${\it es}$); [$e_{1}$, $e_{2}$]; [$e_{1}$, $e_{3}$]) $\Leftarrow\!\Rightarrow$ es{-}le(${\it es}$; $e_{2}$; $e_{3}$))